Synchronous sequence charts in action
نویسندگان
چکیده
منابع مشابه
Synchronous sequence charts in action
We identify a number of styles for using Interworkings (synchronous sequence charts), together with their roles in the context of the OS1 reference model. We employ the well-known ABP (alternating bit protocol) to see how Intcrworkings can and cannot bc used. This experiment shows that the charts are attractive from an intuitive point of view, but when used in their purest form, lack sufficient...
متن کاملHybrid Sequence Charts
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC syntax to the application domain of hybrid systems. The semantics of HySCs is di erent from standard MSC semantics. Most notably, we use a shared variables communication model and assume the existence of a continuous, globa...
متن کاملCausal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) and related notations have been widely studied in the last decade [14, 13, 2, 9, 5, 12, 8]. The high expressive power of scenarios renders many basic problems concerning these languages undecidable. The most expressive class for which several problems are known to be decidable is one which possesses a behavioral property called “existen...
متن کاملAnalyzing Message Sequence Charts
The ISO standard for MSC provides a useful tool for visualizing communication protocols MSCs present a model for concurrency that is di erent from the model of nite state systems used frequently in au tomated veri cation Thus the MSC model poses new and interesting problems related to automatic veri cation of communication protocols In this paper some of the recent results related to MSCs are s...
متن کاملMessage Sequence Charts
Message sequence charts (MSCs) constitute an attractive visual formalism that is widely used to capture system requirements during the early design stages in domains such as telecommunication software. A version of MSCs called sequence diagrams is one of the behavioral diagram types adopted in the UML. In this chapter we survey MSCs and their extensions. In particular, we discuss high level MSC...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 1997
ISSN: 0950-5849
DOI: 10.1016/s0950-5849(97)00019-0